Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Parlog - определение
Parlog
PROGRAMMING LANGUAGE
Clark & Gregory, Imperial College 1983. An AND-parallel
Prolog, with guards and committed choice nondeterminism
(don't care nondeterminism). Shallow backtracking only.
Implementations: MacParlog and PC-Parlog from Parallel Logic
Programming Ltd., Box 49 Twickenham TW2 5PH, UK.
See also SPM.
ftp://ftp.inria.fr/lang/Parlog.tar.Z. E-mail:
<parlog@doc.ic.ac.uk>.
["Parlog: A Parallel Logic Programming Language", K.L. Clark
and S. Gregory, Imperial College, London, May 1983 ].
("Parlog83", in which the ouput mechanism was assignment).
["Parallel Logic Programming in PARLOG, The Language and Its
Implementation", S. Gregory, A-W 1987 ]. ("Parlog86", in which
the output mechanism was unification, as in GHC). (See
Strand).
Parlog
PROGRAMMING LANGUAGE
Parlog is a logic programming language designed for efficient utilization of parallel computer architectures. Its semantics is based on first order predicate logic.
Parlog++
An object-oriented extension to MacParlog. It combines
object-oriented and parallel logic programming, giving the
benefits of both paradigms within a single coherent
development environment.
Andrew Davison <ad@cs.mu.oz.au>, then Imperial College now U
Melbourne. Object orientation plus parallel logic, built on
top of MacParlog.
"Parlog++: A Parlog Object-Oriented Language", A. Davison,
Parlog Group, Imperial College 1988. Sold by PLP Ltd.
E-mail: <parlog@doc.ic.ac.uk>.
Википедия
Parlog
Parlog is a logic programming language designed for efficient utilization of parallel computer architectures. Its semantics is based on first order predicate logic.
